How differential protection works